141. Declarative agent languages and technologies
المؤلف: / Joao Leite 7Andrea Omicini Leon Sterling Paolo Torroni (Eds)
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Programming languages (Electronic computer) -- Congresses
رده :
QA
76
.
7
.
I5775
2003
142. Declarative agent languages and technologies V
المؤلف: / Matteo Baldoni ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses
رده :
QA
,
76
.
76
,.
I58
,
D43
,
2007
143. Declarative agent languages and technologies V
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;
144. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
المؤلف: Joao Leite...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
145. Deductive Software Verification – The KeY Book
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
146. Definition du language algorithmique algol 68
المؤلف: Buffet, J
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
147. Design Patterns in Modern C++
المؤلف: /by Dmitri Nesteruk.,Nesteruk, Dmitri.
المکتبة: (کردستان)
موضوع: Programming languages (Electronic computers).,Software engineering.,Computer programming.,C++ (Computer program language)
رده :
QA76
.
73
.
C153
D56
2018
148. Designing embedded systems with the SIGNAL programming language
المؤلف: by Abdoulaye Gamatiae
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
رده :
TK
،
7895
،.
E42
,
G35
،
2010
149. Designing systems programs
المؤلف: GAUTHIER,RICHARD L
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
150. Digital simulation of continuous systems
المؤلف: / Yaohan Chu; with the collaboration of Frederick J. Sansom and Harry E. Petersen
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Digital computer simulation,Programming languages (Electronic computer)
رده :
001
.
424
C559d
151. Digital simulation of continuous systems
المؤلف: Chu, Yaohan
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Digital Computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C49
152. Digital simulation of continuous systems
المؤلف: CHU,YAOHAN
المکتبة: (طهران)
موضوع: DIGITAL COMPUTER SIMULATION , PROGRAMMING LANGUAGES )ELECTRONIC COMP
رده :
QA
76
.
5
.
C49
153. Dive into Python 3
المؤلف: Mark Pilgrim.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
M375
2009
154. Domain-specific modelin
المؤلف: / Steven Kelly, Juha-Pekka Tolvanen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Computer software--Development
رده :
QA
,
76
.
7
,.
K45
,
2008eb
155. Domain-specific modeling
المؤلف: / Steven Kelly, Juha-Pekka Tolvanen
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Programming languages (Electronic computers),Computer software- Development
رده :
QA76
.
7
.
K45
2008
156. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
المؤلف: Christian Lengauer... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3016
157. Domain-theoretic foundations of functional programming
المؤلف: / Thomas Streicher
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
158. Dynamic SQL :
المؤلف: Edward Pollack.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Computer security.,Database management.,Programming languages (Electronic computers),SQL (Computer program language),Computer programming.,Computer security.,COMPUTERS / Databases / Data Mining.,COMPUTERS / Databases / General.,COMPUTERS / Programming Languages / SQL.,Database management.,Programming languages (Electronic computers),SQL (Computer program language)
رده :
QA76
.
73
.
S67
159. ESOP '88
المؤلف: H. Ganzinger, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
160. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : Proceedings
المؤلف: edited by B. Robinet and R. Wilhelm
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
213
